$\forall$$T$:(Id$\rightarrow$Type). secret{-}table($T$) $\in$ Type